Review by: Perry Smith: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Theory of Sets.by Nicolas Bourbaki

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1975

Language:

english

File:

PDF, 108 KB

english, 1975

2

The Theory of Sets and Transfinite Numbers.by B. Rotman; G. T. Kneebone

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 111 KB

english, 1972

3

Tres Enunciados Equivalentes al Teorema de Zorn.by Gregorio Klimovsky

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 113 KB

english, 1971

4

Does Modal Logic Rest Upon a Mistake?by R. M. Martin

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 110 KB

english, 1971

5

The Gödel Incompleteness Theorem and Intelligent Machines.by Frank B. Cannonito

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 112 KB

english, 1971

6

Extensionality, Attributes, and Classes.by Arthur Pap

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 108 KB

english, 1971

7

Loglan 1: A Logical Languageby James Cooke Brown

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1991

Language:

english

File:

PDF, 339 KB

english, 1991

8

An Axiom System for the Proposition Calculus.by Shih-Chiang Wang

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 239 KB

english, 1972

9

Syntactical Treatments of Modality, with Corollaries on Reflexion Principles and Finite Axiomatizability.by Richard Montague

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1975

Language:

english

File:

PDF, 105 KB

english, 1975

10

A Method of Eliminating Intensional sentences and sentential formulae.by Kazimierz Ajdukiwicz

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 388 KB

english, 1972

11

Aplicaţii ale Teoriei Relaţiilor in Logica Matematicǎ (Applications de la Théorie des Relations dans la Logique Mathématique.by Ştefan N. Berţi

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 205 KB

english, 1970

12

The Groundwork of Modern Logicby D. D. Mahulkar

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 252 KB

english, 1971

13

Neurodegeneration Methods and Protocolsby Jean Harry; Hugh A. Tilson

Review by: George Perry and Mark A. Smith

Journal:

Quarterly Review of Biology

Year:

1999

Language:

english

File:

PDF, 83 KB

english, 1999

14

Arbitrarily Selected Individuals in Natural Deductionby Vito F. Sinisi

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 197 KB

english, 1971

15

Zur Charakteristik der Kontingenzby Karl Döhmann

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 189 KB

english, 1971

16

About Mathematical Logicby Tage Gutmann Madsen

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 219 KB

english, 1971

17

Einfuhrung in die Operative Logik und Mathematikby Paul Lorenzen

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 212 KB

english, 1970

18

Ten Ontological or Modal Proofs for God's Existenceby Charles Hartshorne

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 232 KB

english, 1971

19

On the Notion of Invariance in Classical Mechanics.by J. C. C. McKinsey; Patrick Suppes

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 176 KB

english, 1971

20

Models and Ultraproducts: An Introduction.by J. L. Bell; A. B. Slomson

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 196 KB

english, 1972

21

Constructible Sets with Applications.by A. Mostowski

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1975

Language:

english

File:

PDF, 554 KB

english, 1975

22

Existential Quantification and the Regimentation of Ordinary Language.by R. M. Martin

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 396 KB

english, 1972

23

Systèmes Formels et Systèmes Ontologiques.by Henry W. Johnstone,

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 238 KB

english, 1971

24

The Universe of Meaning.by Samuel Reiss

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 99 KB

english, 1971

25

Quelques Théorèmes de L'algèbre de Boole et Leurs applications topologiques.by R. Engelking; K. Kuratowski

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 190 KB

english, 1972

26

Quelques Applications de la Topologie a La Logique Mathematique

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 101 KB

english, 1971

27

Logic with Denumerably Long Formulas and Finite Strings of Quantifiersby Dana Scott; J. W. Addison; Leon Henkin; Alfred Tarski

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 374 KB

english, 1971

28

A Variant of the Proof of the Completeness of the First Order Functional Calculus.by Jerzy Slupecki; Witold A. Pogorzelski

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 149 KB

english, 1971

29

A Note Concerning the Binary Quantifiers.by Roman Suszko

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 107 KB

english, 1971

30

Introduction to Topology and Modern Analysisby George F. Simmons

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 201 KB

english, 1970

31

Remarks on the Language of Physics.by John Myhill;Remarks on Myhill's Remarks on Coordinate Languages.by H. G. Bohnert

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 221 KB

english, 1972

32

La conception formaliste des mathématiquesby Samuel Issman

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 189 KB

english, 1971

33

Deduction as a Method of Proofby Maria Kokoszyńska

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 208 KB

english, 1971

34

Einführung in das Programmieren in FORTRAN.by Wolfgang E. Spiess; Friedrich G. Rheingans

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 107 KB

english, 1971

35

Die Unabhängigkeit der Elementaren prädikatenlogischen schlussregeln.by Karl Schröter

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 213 KB

english, 1972

36

Term Logic with Choice Operator.by Hans Hermes

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 136 KB

english, 1971

37

Abstract Set Theory.by Thoralf A. Skolem

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 100 KB

english, 1971

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски